homogeneous invariant

齐次不变式